√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片

×

logical formula中文什么意思

發(fā)音:   用"logical formula"造句
  • 邏輯式
  • logical:    adj. 1.邏輯的,邏輯上的;邏輯學(xué)上的。 2.合乎邏 ...
  • formula:    n. (pl. formulas, -lae ) 1.公 ...
  • be logical:    合乎邏輯
  • logical:    adj. 1.邏輯的,邏輯上的;邏輯學(xué)上的。 2.合乎邏輯的。 3.邏輯上必然的。 logical constants 邏輯常詞[常項(xiàng)]。 logical necessity 邏輯的必然性。 a logical argument 條件分明的論證。 a logical process 合理的程序,合乎邏輯的[必然的]過程。 the logical result 必然的結(jié)果。 adv. -ly ,-ness n.
  • logical and:    邏輯與
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯

例句與用法

  1. Wstk creates all name attributes according to a logical formula ; in the example , i used names of my own convenience
    依照邏輯規(guī)則創(chuàng)建了所有名稱屬性;在本示例中,我使用了自己視為方便的名稱。
  2. However , existing ontology languages are either unsuitable for web with markup languages , or short of of generic support to representation of knowledge , logical formula , axioms and rules
    在現(xiàn)有的ontology語言中,有的不是面向web這種標(biāo)記語言環(huán)境的,有的缺乏知識、邏輯公式、公理以及規(guī)則表示的通性支持。
  3. This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web . the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment . in order to represent knowledge , logical formula , relational axioms and rules , there is a need for primitives specifying prepositional formula , predictive formula and horn clause , and relations between properties and relational axiomx
    本文對web語義化過程中部分關(guān)鍵問題和基于語義化web的kms進(jìn)行了研究,主要的創(chuàng)新性工作包括:定義了邏輯公式及關(guān)系公理描述原語的ontology語義: web環(huán)境中用標(biāo)記語言描述對象和資源,為了在語義化web上表示知識、邏輯公式、關(guān)系公理和規(guī)則,需要定義描述命題邏輯公式、謂詞邏輯公式、 horn邏輯的邏輯原語以及描述屬性之間關(guān)系的關(guān)系原語。

相關(guān)詞匯

        logical:    adj. 1.邏輯的,邏輯上的;邏輯學(xué)上的。 2.合乎邏 ...
        formula:    n. (pl. formulas, -lae ) 1.公 ...
        be logical:    合乎邏輯
        logical:    adj. 1.邏輯的,邏輯上的;邏輯學(xué)上的。 2.合乎邏輯的。 3.邏輯上必然的。 logical constants 邏輯常詞[常項(xiàng)]。 logical necessity 邏輯的必然性。 a logical argument 條件分明的論證。 a logical process 合理的程序,合乎邏輯的[必然的]過程。 the logical result 必然的結(jié)果。 adv. -ly ,-ness n.
        logical and:    邏輯與
        logical if:    邏輯若
        logical not:    邏輯非
        logical or:    邏輯或
        logical-in:    邏輯歸入
        the logical:    合選輯之歌
        by formula:    按公式
        formula:    n. (pl. formulas, -lae ) 1.公式,程式;定則,方案。 2.【醫(yī)學(xué)】配方,處方。 3.(政治口號等的)提法,表述,套語,慣用語句。 4.【宗教】信仰表白書。 5.【化學(xué)】式;【數(shù)學(xué)】公式。 a formula for making soap 肥皂制法[配方]。 formula of integration 積分公式。 a binominal formula 【數(shù)學(xué)】二項(xiàng)式。 a legal formula 法律上的慣用語句。 a molecular formula 【化學(xué)】分子式。 a structural formula 【化學(xué)】結(jié)構(gòu)式,構(gòu)造式。 adj. (賽車)方程式的(指賽車要符合規(guī)定的體積,重量及汽缸容量等)。
        the formula:    魔頭對魔頭
        a logical impossibility:    邏輯上不可能的事
        a logical mind:    善于推理的頭腦
        add, logical:    邏輯加
        architecture, logical:    邏輯(體系)結(jié)構(gòu)
        boolean-logical:    布爾邏輯的
        compare logical:    比較邏輯
        connective logical:    邏輯連接號
        infra-logical:    邏輯下的
        interface, logical:    邏輯接口
        logical (l03):    邏輯(上)的;合理的
        logical abacus:    邏輯算盤
        logical abstraction:    邏輯抽象

其他語言

相鄰詞匯

  1. logical flowchart 什么意思
  2. logical font 什么意思
  3. logical form 什么意思
  4. logical form component 什么意思
  5. logical form representation 什么意思
  6. logical formulas 什么意思
  7. logical front end 什么意思
  8. logical function 什么意思
  9. logical function equation 什么意思
  10. logical function reference 什么意思
桌面版繁體版English

相關(guān)閱讀

Copyright ? 2025 WordTech Co.